Formal Test Purposes and the Validity of Test Cases

نویسندگان

  • Peter H. Deussen
  • Stephan Tobies
چکیده

We give a formalization of the notion of test purpose based on (suitably restricted) Message Sequence Charts. We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Assessment of Auditory Skills of Children who are Deaf and Hard of Hearing

Background: An integral part of a comprehensive auditory training program is the assessment of individual auditory skills. In addition, most therapists will want to evaluate the hearing ability of their pupils in a more formal manner and in approximately the same way and comparing their auditory abilities to regroup them for communication activities. Conclusion: Evaluation and informal observa...

متن کامل

Validation of the Persian version of the internet gaming disorder-20 Test among the students of Tabriz University of Medical Sciences

Background & Aim: The American Psychiatrists Association has inserted Internet gaming disorder into Section III of DSM-V. The IGD-20 test has been introduced as a tool for investigating IGD. This study aims to assess the validity of the Persian version of IGD-20 test. Methods: In this methodological study, 394 undergraduate students of Tabriz University of Medical Sciences were included using ...

متن کامل

Examine the Relationship between the Process-Oriented Organizations by Strategy Formation as a Formal Process

This article examines the role of management in business processes in relation to the process-oriented organization and strategy formation as a formal process (strategic planning). A questionnaire designed to measure these variables after the validity and reliability among a sample of 183 managers, officials and experts in working systems, information technology and strategic planning in major ...

متن کامل

The validity, diagnostic value and replicability of Bender Visual-Motor Gestalt Test in traumatic brain injury patients

Introduction: Bender Gestalt test is one of the most famous neuropsychological tests that is simple and it can be used to examine brain injuries. The objective of this research was to investigate the validity, diagnostic strength and the replicability of the Bender Visual-Motor Gestalt Test in patients with traumatic brain injury (TBI). Methods: 240 participants were tested in a case-control st...

متن کامل

Evaluation of the genetic test components

The sequencing of human genome leads to obtain an important data on genetic elements having   a crucial role in the molecular pathology of genetic disorders. This is the reason of introducing genetic tests to medical field. Genetic testing looks for changes at chromosomes, genes and protein level to detect heritable conditions for clinical purposes. Genetic tests used in routine practice are va...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002